In particular, Greenberg conceptualized the idea of " implicational universal ", which takes the form, " if a language has structure X, then it must also have structure Y . " For example, X might be " mid front rounded vowels " and Y " high front rounded vowels " ( for terminology see phonetics ).